direct sum of subspaces proof